A Brief Overview of the KTA WCET Tool
نویسنده
چکیده
KTA (KTH’s timing analyzer) is a research tool for performing timing analysis of program code. The currently available toolchain can perform two different kinds of analyses: i) exhaustive fine-grained timing analysis, where timing information can be provided between arbitrary timing program points within a function, and ii) abstract searchbased timing analysis, where the tool can perform optimal worst-case execution time (WCET) analysis. The latter is based on a technique that combines divide-and-conquer search and abstract interpretation. The tool is under development and currently supports a subset of the MIPS instruction set architecture.
منابع مشابه
Chronos Version 2.0 User Manual
This user manual describes the second release of Chronos, a prototype tool that performs Worst Case Execution Time (WCET) analysis of embedded software. Compared to most other WCET tools, Chronos models the timing effects of more contemporary micro-architectures on the execution time of a program. Hence it produces tighter WCET estimates. This manual contains an overview of WCET analysis, a bri...
متن کاملElectromagnetic waves a new tool for cellular communications
Distant cells can communicate with each other in a variety of ways. Electrical and chemical mechanisms are two known mechanisms for the establishment of intercellular connections. In recent years, research has shown that many cells influence each other's behavior by sending electromagnetic waves together. The existence of such connections can justify many unknown cellular behaviors. The article...
متن کاملA Worst-Case Execution-Time Analysis Tool Prototype for Embedded Real-Time Systems¦
This paper gives an overview of the Worst-Case Execution Time (WCET) analysis research performed by the WCET group at Uppsala University, Sweden, in cooperation with C-LAB in Paderborn, Germany. We have defined a modular architecture for a WCET estimation tool. The architecture has been used both to identify the components of the overall WCET analysis problem, and as a starting point for the de...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1712.05264 شماره
صفحات -
تاریخ انتشار 2017